Optimal. Leaf size=273 \[ -\frac {i (e+f x) (a+b \log (c (e+f x)))^2}{d (f h-e i)^2 (h+i x)}+\frac {2 b f (a+b \log (c (e+f x))) \log \left (\frac {f (h+i x)}{f h-e i}\right )}{d (f h-e i)^2}-\frac {f (a+b \log (c (e+f x)))^2 \log \left (1+\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^2}+\frac {2 b f (a+b \log (c (e+f x))) \text {Li}_2\left (-\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^2}+\frac {2 b^2 f \text {Li}_2\left (-\frac {i (e+f x)}{f h-e i}\right )}{d (f h-e i)^2}+\frac {2 b^2 f \text {Li}_3\left (-\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.40, antiderivative size = 273, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 9, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.281, Rules used = {2458, 12, 2389,
2379, 2421, 6724, 2355, 2354, 2438} \begin {gather*} \frac {2 b f \text {PolyLog}\left (2,-\frac {f h-e i}{i (e+f x)}\right ) (a+b \log (c (e+f x)))}{d (f h-e i)^2}+\frac {2 b^2 f \text {PolyLog}\left (2,-\frac {i (e+f x)}{f h-e i}\right )}{d (f h-e i)^2}+\frac {2 b^2 f \text {PolyLog}\left (3,-\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^2}+\frac {2 b f \log \left (\frac {f (h+i x)}{f h-e i}\right ) (a+b \log (c (e+f x)))}{d (f h-e i)^2}-\frac {i (e+f x) (a+b \log (c (e+f x)))^2}{d (h+i x) (f h-e i)^2}-\frac {f \log \left (\frac {f h-e i}{i (e+f x)}+1\right ) (a+b \log (c (e+f x)))^2}{d (f h-e i)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2354
Rule 2355
Rule 2379
Rule 2389
Rule 2421
Rule 2438
Rule 2458
Rule 6724
Rubi steps
\begin {align*} \int \frac {(a+b \log (c (e+f x)))^2}{(h+189 x)^2 (d e+d f x)} \, dx &=\frac {\text {Subst}\left (\int \frac {(a+b \log (c x))^2}{d x \left (\frac {-189 e+f h}{f}+\frac {189 x}{f}\right )^2} \, dx,x,e+f x\right )}{f}\\ &=\frac {\text {Subst}\left (\int \frac {(a+b \log (c x))^2}{x \left (\frac {-189 e+f h}{f}+\frac {189 x}{f}\right )^2} \, dx,x,e+f x\right )}{d f}\\ &=-\frac {\text {Subst}\left (\int \frac {(a+b \log (c x))^2}{x \left (\frac {-189 e+f h}{f}+\frac {189 x}{f}\right )} \, dx,x,e+f x\right )}{d (189 e-f h)}+\frac {189 \text {Subst}\left (\int \frac {(a+b \log (c x))^2}{\left (\frac {-189 e+f h}{f}+\frac {189 x}{f}\right )^2} \, dx,x,e+f x\right )}{d f (189 e-f h)}\\ &=-\frac {189 (e+f x) (a+b \log (c (e+f x)))^2}{d (189 e-f h)^2 (h+189 x)}-\frac {189 \text {Subst}\left (\int \frac {(a+b \log (c x))^2}{\frac {-189 e+f h}{f}+\frac {189 x}{f}} \, dx,x,e+f x\right )}{d (189 e-f h)^2}+\frac {(378 b) \text {Subst}\left (\int \frac {a+b \log (c x)}{\frac {-189 e+f h}{f}+\frac {189 x}{f}} \, dx,x,e+f x\right )}{d (189 e-f h)^2}+\frac {f \text {Subst}\left (\int \frac {(a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d (189 e-f h)^2}\\ &=\frac {2 b f \log \left (-\frac {f (h+189 x)}{189 e-f h}\right ) (a+b \log (c (e+f x)))}{d (189 e-f h)^2}-\frac {189 (e+f x) (a+b \log (c (e+f x)))^2}{d (189 e-f h)^2 (h+189 x)}-\frac {f \log \left (-\frac {f (h+189 x)}{189 e-f h}\right ) (a+b \log (c (e+f x)))^2}{d (189 e-f h)^2}+\frac {f \text {Subst}\left (\int x^2 \, dx,x,a+b \log (c (e+f x))\right )}{b d (189 e-f h)^2}+\frac {(2 b f) \text {Subst}\left (\int \frac {(a+b \log (c x)) \log \left (1+\frac {189 x}{-189 e+f h}\right )}{x} \, dx,x,e+f x\right )}{d (189 e-f h)^2}-\frac {\left (2 b^2 f\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {189 x}{-189 e+f h}\right )}{x} \, dx,x,e+f x\right )}{d (189 e-f h)^2}\\ &=\frac {2 b f \log \left (-\frac {f (h+189 x)}{189 e-f h}\right ) (a+b \log (c (e+f x)))}{d (189 e-f h)^2}-\frac {189 (e+f x) (a+b \log (c (e+f x)))^2}{d (189 e-f h)^2 (h+189 x)}-\frac {f \log \left (-\frac {f (h+189 x)}{189 e-f h}\right ) (a+b \log (c (e+f x)))^2}{d (189 e-f h)^2}+\frac {f (a+b \log (c (e+f x)))^3}{3 b d (189 e-f h)^2}+\frac {2 b^2 f \text {Li}_2\left (\frac {189 (e+f x)}{189 e-f h}\right )}{d (189 e-f h)^2}-\frac {2 b f (a+b \log (c (e+f x))) \text {Li}_2\left (\frac {189 (e+f x)}{189 e-f h}\right )}{d (189 e-f h)^2}+\frac {\left (2 b^2 f\right ) \text {Subst}\left (\int \frac {\text {Li}_2\left (-\frac {189 x}{-189 e+f h}\right )}{x} \, dx,x,e+f x\right )}{d (189 e-f h)^2}\\ &=\frac {2 b f \log \left (-\frac {f (h+189 x)}{189 e-f h}\right ) (a+b \log (c (e+f x)))}{d (189 e-f h)^2}-\frac {189 (e+f x) (a+b \log (c (e+f x)))^2}{d (189 e-f h)^2 (h+189 x)}-\frac {f \log \left (-\frac {f (h+189 x)}{189 e-f h}\right ) (a+b \log (c (e+f x)))^2}{d (189 e-f h)^2}+\frac {f (a+b \log (c (e+f x)))^3}{3 b d (189 e-f h)^2}+\frac {2 b^2 f \text {Li}_2\left (\frac {189 (e+f x)}{189 e-f h}\right )}{d (189 e-f h)^2}-\frac {2 b f (a+b \log (c (e+f x))) \text {Li}_2\left (\frac {189 (e+f x)}{189 e-f h}\right )}{d (189 e-f h)^2}+\frac {2 b^2 f \text {Li}_3\left (\frac {189 (e+f x)}{189 e-f h}\right )}{d (189 e-f h)^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.37, size = 360, normalized size = 1.32 \begin {gather*} \frac {3 a^2 (f h-e i)+3 a^2 f (h+i x) \log (e+f x)-3 a^2 f (h+i x) \log (h+i x)+3 a b \left (-2 f (h+i x) \log (e+f x)+2 (f h-e i) \log (c (e+f x))+f (h+i x) \log ^2(c (e+f x))+2 f (h+i x) \log (h+i x)-2 f (h+i x) \left (\log (c (e+f x)) \log \left (\frac {f (h+i x)}{f h-e i}\right )+\text {Li}_2\left (\frac {i (e+f x)}{-f h+e i}\right )\right )\right )+b^2 \left (\log (c (e+f x)) \left (f (h+i x) \log ^2(c (e+f x))+6 f (h+i x) \log \left (\frac {f (h+i x)}{f h-e i}\right )-3 \log (c (e+f x)) \left (i (e+f x)+f (h+i x) \log \left (\frac {f (h+i x)}{f h-e i}\right )\right )\right )-6 f (h+i x) (-1+\log (c (e+f x))) \text {Li}_2\left (\frac {i (e+f x)}{-f h+e i}\right )+6 f (h+i x) \text {Li}_3\left (\frac {i (e+f x)}{-f h+e i}\right )\right )}{3 d (f h-e i)^2 (h+i x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.35, size = 0, normalized size = 0.00 \[\int \frac {\left (a +b \ln \left (c \left (f x +e \right )\right )\right )^{2}}{\left (d f x +e d \right ) \left (i x +h \right )^{2}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 622 vs.
\(2 (271) = 542\).
time = 0.36, size = 622, normalized size = 2.28 \begin {gather*} a^{2} {\left (\frac {f \log \left (f x + e\right )}{d f^{2} h^{2} - 2 \, d e f h i + d e^{2} i^{2}} - \frac {f \log \left (i x + h\right )}{d f^{2} h^{2} - 2 \, d e f h i + d e^{2} i^{2}} + \frac {1}{d f h^{2} - d e h i + {\left (d f h i - d e i^{2}\right )} x}\right )} - \frac {{\left (\log \left (f x + e\right )^{2} \log \left (\frac {f i x + e i}{f h - e i} + 1\right ) + 2 \, {\rm Li}_2\left (-\frac {f i x + e i}{f h - e i}\right ) \log \left (f x + e\right ) - 2 \, {\rm Li}_{3}(-\frac {f i x + e i}{f h - e i})\right )} b^{2} f}{{\left (f^{2} h^{2} - 2 \, e f h i + e^{2} i^{2}\right )} d} + \frac {3 \, {\left (f h - e i\right )} b^{2} \log \left (c\right )^{2} + {\left (b^{2} f i x + b^{2} f h\right )} \log \left (f x + e\right )^{3} + 6 \, {\left (f h - e i\right )} a b \log \left (c\right ) + 3 \, {\left (a b f h + {\left (f h \log \left (c\right ) - e i\right )} b^{2} + {\left (a b f i + {\left (f i \log \left (c\right ) - f i\right )} b^{2}\right )} x\right )} \log \left (f x + e\right )^{2} + 3 \, {\left (2 \, {\left (f h \log \left (c\right ) - e i\right )} a b + {\left (f h \log \left (c\right )^{2} - 2 \, e i \log \left (c\right )\right )} b^{2} + {\left (2 \, {\left (f i \log \left (c\right ) - f i\right )} a b + {\left (f i \log \left (c\right )^{2} - 2 \, f i \log \left (c\right )\right )} b^{2}\right )} x\right )} \log \left (f x + e\right )}{3 \, {\left ({\left (f^{2} h^{2} i - 2 \, e f h i^{2} + e^{2} i^{3}\right )} d x + {\left (f^{2} h^{3} - 2 \, e f h^{2} i + e^{2} h i^{2}\right )} d\right )}} - \frac {2 \, {\left ({\left (f \log \left (c\right ) - f\right )} b^{2} + a b f\right )} {\left (\log \left (f x + e\right ) \log \left (\frac {f i x + e i}{f h - e i} + 1\right ) + {\rm Li}_2\left (-\frac {f i x + e i}{f h - e i}\right )\right )}}{{\left (f^{2} h^{2} - 2 \, e f h i + e^{2} i^{2}\right )} d} - \frac {{\left (2 \, {\left (f \log \left (c\right ) - f\right )} a b + {\left (f \log \left (c\right )^{2} - 2 \, f \log \left (c\right )\right )} b^{2}\right )} \log \left (i x + h\right )}{{\left (f^{2} h^{2} - 2 \, e f h i + e^{2} i^{2}\right )} d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,\ln \left (c\,\left (e+f\,x\right )\right )\right )}^2}{{\left (h+i\,x\right )}^2\,\left (d\,e+d\,f\,x\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________